Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
141	Motivation COMS21103 NP-completeness Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-01-08 09:09:08 Complexity classes NP-complete NP-hard P versus NP problem NP Cook–Levin theorem Boolean satisfiability problem PP P Theoretical computer science Computational complexity theory Applied mathematics
142	SMT Solvers Theory & Practice Leonardo de Moura [removed] Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-11-12 03:14:38 Model theory Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Structure Well-formed formula Boolean satisfiability problem Mathematics Theoretical computer science Logic
143	E MPIRICAL A NALYSIS OF L OCAL S EARCH A LGORITHMS AND P ROBLEM D IFFICULTY IN S ATISFIABILITY by Dave Tae Shik Yoon Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-09-14 13:48:35 Mathematics Applied mathematics Operations research Boolean algebra WalkSAT Boolean satisfiability problem Local search Mathematical optimization Satisfiability Theoretical computer science Constraint programming Logic in computer science
144	Microsoft PowerPoint - iccad08-tutorial-ALL [Compatibility Mode] Add to Reading List Source URL: www.ece.vt.edu Language: English - Date: 2012-10-24 15:39:27 Formal methods Program logic Logic in computer science Electronic design automation NP-complete problems Hoare logic Boolean satisfiability problem Control flow Correctness Theoretical computer science Applied mathematics Mathematics
145	Automated Discovery of Composite SAT Variable-Selection Heuristics Alex Fukunaga Computer Science Department University of California, Los Angeles [removed] Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:23:57 Constraint programming Mathematics Operations research Heuristics WalkSAT NP-complete problems Boolean satisfiability problem Local search Search algorithm Theoretical computer science Applied mathematics Logic in computer science
146	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
147	Frank Nack University of Amsterdam, [removed] Media Beat Content is Dead[removed]Long Live Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-03-20 22:39:43 Complexity classes NP-complete P versus NP problem NP-hard AI-complete NP Boolean satisfiability problem Oracle machine Complete Theoretical computer science Computational complexity theory Applied mathematics
148	Simplifying diagnosis using LSAT: a propositional approach to reasoning from first principles Andreas Bauer Institut f¨ ur Informatik Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2006-11-17 13:08:20 Logic programming Boolean algebra Non-classical logic Predicate logic Propositional calculus Diagnosis Boolean satisfiability problem Circumscription Mereology Logic Mathematical logic Mathematics
149	Overview Modelling Algorithmic Verification Comp4151 Lecture 9-A Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Mathematical logic Constraint programming Boolean algebra Resolution Conjunctive normal form Unit propagation Davis–Putnam algorithm Ansgar Boolean satisfiability problem Automated theorem proving Theoretical computer science Mathematics
150	Dependency Solving: a Separate Concern in Component Evolution ManagementI Pietro Abatea , Roberto Di Cosmoa,b , Ralf Treinena , Stefano Zacchirolia a Univ Paris Diderot, Sorbonne Paris Cit´ Add to Reading List Source URL: upsilon.cc Language: English - Date: 2015-01-01 06:26:55 Object-oriented programming Software distribution SUSE Linux ZYpp Archive formats Package management system Boolean satisfiability problem Package Debian Software Computing System software

UPDATE